p-group, metabelian, nilpotent (class 2), monomial, rational
Aliases: C24⋊3C23, C42⋊2C23, C25⋊6C22, C22.73C25, C23.33C24, C22⋊12+ 1+4, D42⋊11C2, D4○C22≀C2, D4⋊13(C2×D4), (C2×D4)⋊53D4, C4⋊C4⋊8C23, C23⋊7(C2×D4), D4⋊5D4⋊12C2, (D4×C23)⋊16C2, (C2×D4)⋊19C23, (C4×D4)⋊32C22, C23⋊3D4⋊4C2, C22⋊C4⋊9C23, (C2×C4).67C24, (C22×C4)⋊3C23, (C2×Q8)⋊18C23, C2.25(D4×C23), C22≀C2⋊3C22, C4⋊D4⋊78C22, C4⋊1D4⋊15C22, (C23×C4)⋊38C22, C4.114(C22×D4), C22⋊Q8⋊93C22, C22.9(C22×D4), C4.4D4⋊19C22, (C22×D4)⋊32C22, (C2×2+ 1+4)⋊7C2, C22.11C24⋊13C2, C22.29C24⋊18C2, C42⋊C2⋊30C22, C22.19C24⋊20C2, C2.26(C2×2+ 1+4), C22.D4⋊48C22, (C2×C4)⋊12(C2×D4), (C2×D4)○C22≀C2, (C2×C22≀C2)⋊25C2, (C2×C4○D4)⋊22C22, (C2×C22⋊C4)⋊43C22, SmallGroup(128,2216)
Series: Derived ►Chief ►Lower central ►Upper central ►Jennings
Generators and relations for C22.73C25
G = < a,b,c,d,e,f,g | a2=b2=c2=d2=e2=f2=g2=1, ab=ba, dcd=gcg=ac=ca, fdf=ad=da, ae=ea, af=fa, ag=ga, ece=bc=cb, bd=db, be=eb, bf=fb, bg=gb, cf=fc, de=ed, dg=gd, ef=fe, eg=ge, fg=gf >
Subgroups: 1836 in 950 conjugacy classes, 432 normal (14 characteristic)
C1, C2, C2, C2, C4, C4, C22, C22, C22, C2×C4, C2×C4, D4, D4, Q8, C23, C23, C23, C42, C22⋊C4, C4⋊C4, C22×C4, C22×C4, C22×C4, C2×D4, C2×D4, C2×Q8, C4○D4, C24, C24, C24, C2×C22⋊C4, C42⋊C2, C4×D4, C22≀C2, C4⋊D4, C22⋊Q8, C22.D4, C4.4D4, C4⋊1D4, C23×C4, C22×D4, C22×D4, C22×D4, C2×C4○D4, 2+ 1+4, C25, C22.11C24, C2×C22≀C2, C22.19C24, C23⋊3D4, C22.29C24, D42, D4⋊5D4, D4×C23, C2×2+ 1+4, C22.73C25
Quotients: C1, C2, C22, D4, C23, C2×D4, C24, C22×D4, 2+ 1+4, C25, D4×C23, C2×2+ 1+4, C22.73C25
(1 2)(3 4)(5 6)(7 8)(9 10)(11 12)(13 14)(15 16)
(1 14)(2 13)(3 5)(4 6)(7 11)(8 12)(9 16)(10 15)
(1 8)(2 7)(3 15)(4 16)(5 10)(6 9)(11 13)(12 14)
(1 10)(2 9)(3 11)(4 12)(5 7)(6 8)(13 16)(14 15)
(1 13)(2 14)(3 4)(5 6)(7 8)(9 15)(10 16)(11 12)
(1 13)(2 14)(3 5)(4 6)(7 12)(8 11)(9 16)(10 15)
(1 14)(2 13)(3 6)(4 5)(7 12)(8 11)(9 16)(10 15)
G:=sub<Sym(16)| (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16), (1,14)(2,13)(3,5)(4,6)(7,11)(8,12)(9,16)(10,15), (1,8)(2,7)(3,15)(4,16)(5,10)(6,9)(11,13)(12,14), (1,10)(2,9)(3,11)(4,12)(5,7)(6,8)(13,16)(14,15), (1,13)(2,14)(3,4)(5,6)(7,8)(9,15)(10,16)(11,12), (1,13)(2,14)(3,5)(4,6)(7,12)(8,11)(9,16)(10,15), (1,14)(2,13)(3,6)(4,5)(7,12)(8,11)(9,16)(10,15)>;
G:=Group( (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16), (1,14)(2,13)(3,5)(4,6)(7,11)(8,12)(9,16)(10,15), (1,8)(2,7)(3,15)(4,16)(5,10)(6,9)(11,13)(12,14), (1,10)(2,9)(3,11)(4,12)(5,7)(6,8)(13,16)(14,15), (1,13)(2,14)(3,4)(5,6)(7,8)(9,15)(10,16)(11,12), (1,13)(2,14)(3,5)(4,6)(7,12)(8,11)(9,16)(10,15), (1,14)(2,13)(3,6)(4,5)(7,12)(8,11)(9,16)(10,15) );
G=PermutationGroup([[(1,2),(3,4),(5,6),(7,8),(9,10),(11,12),(13,14),(15,16)], [(1,14),(2,13),(3,5),(4,6),(7,11),(8,12),(9,16),(10,15)], [(1,8),(2,7),(3,15),(4,16),(5,10),(6,9),(11,13),(12,14)], [(1,10),(2,9),(3,11),(4,12),(5,7),(6,8),(13,16),(14,15)], [(1,13),(2,14),(3,4),(5,6),(7,8),(9,15),(10,16),(11,12)], [(1,13),(2,14),(3,5),(4,6),(7,12),(8,11),(9,16),(10,15)], [(1,14),(2,13),(3,6),(4,5),(7,12),(8,11),(9,16),(10,15)]])
G:=TransitiveGroup(16,198);
44 conjugacy classes
class | 1 | 2A | 2B | 2C | 2D | ··· | 2Q | 2R | ··· | 2Y | 4A | 4B | 4C | 4D | 4E | ··· | 4R |
order | 1 | 2 | 2 | 2 | 2 | ··· | 2 | 2 | ··· | 2 | 4 | 4 | 4 | 4 | 4 | ··· | 4 |
size | 1 | 1 | 1 | 1 | 2 | ··· | 2 | 4 | ··· | 4 | 2 | 2 | 2 | 2 | 4 | ··· | 4 |
44 irreducible representations
dim | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 2 | 4 |
type | + | + | + | + | + | + | + | + | + | + | + | + |
image | C1 | C2 | C2 | C2 | C2 | C2 | C2 | C2 | C2 | C2 | D4 | 2+ 1+4 |
kernel | C22.73C25 | C22.11C24 | C2×C22≀C2 | C22.19C24 | C23⋊3D4 | C22.29C24 | D42 | D4⋊5D4 | D4×C23 | C2×2+ 1+4 | C2×D4 | C22 |
# reps | 1 | 1 | 4 | 2 | 4 | 2 | 8 | 8 | 1 | 1 | 8 | 4 |
Matrix representation of C22.73C25 ►in GL6(ℤ)
1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | -1 | 0 | 0 | 0 |
0 | 0 | 0 | -1 | 0 | 0 |
0 | 0 | 0 | 0 | -1 | 0 |
0 | 0 | 0 | 0 | 0 | -1 |
-1 | 0 | 0 | 0 | 0 | 0 |
0 | -1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | 0 |
0 | 0 | 0 | 0 | 0 | 1 |
0 | 1 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | 0 |
0 | 0 | 0 | 0 | 0 | 1 |
0 | 0 | 1 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | -1 |
0 | 0 | 0 | 0 | -1 | 0 |
-1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | 0 |
0 | 0 | 0 | 0 | 0 | 1 |
-1 | 0 | 0 | 0 | 0 | 0 |
0 | -1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 0 |
0 | 0 | 0 | -1 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | 0 |
0 | 0 | 0 | 0 | 0 | -1 |
1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | 0 | 0 | -1 | 0 |
0 | 0 | 0 | 0 | 0 | -1 |
G:=sub<GL(6,Integers())| [1,0,0,0,0,0,0,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1],[-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1],[0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,1,0,0],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,-1,0,0,0,0,-1,0],[-1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1],[-1,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,-1],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,-1] >;
C22.73C25 in GAP, Magma, Sage, TeX
C_2^2._{73}C_2^5
% in TeX
G:=Group("C2^2.73C2^5");
// GroupNames label
G:=SmallGroup(128,2216);
// by ID
G=gap.SmallGroup(128,2216);
# by ID
G:=PCGroup([7,-2,2,2,2,2,-2,2,477,1430,570,1684]);
// Polycyclic
G:=Group<a,b,c,d,e,f,g|a^2=b^2=c^2=d^2=e^2=f^2=g^2=1,a*b=b*a,d*c*d=g*c*g=a*c=c*a,f*d*f=a*d=d*a,a*e=e*a,a*f=f*a,a*g=g*a,e*c*e=b*c=c*b,b*d=d*b,b*e=e*b,b*f=f*b,b*g=g*b,c*f=f*c,d*e=e*d,d*g=g*d,e*f=f*e,e*g=g*e,f*g=g*f>;
// generators/relations